module Module

type I =
    abstract P: (int -> int)
